1. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
4. Conditional and preferential logics
پدیدآورنده : Gian Luca Pozzato
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010
5. Conditional and preferential logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Proof theory. ;
6. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2010
7. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
8. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
9. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
10. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
11. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
12. Logic II : proof
پدیدآورنده : prepared by the mathematics foundation course team
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
O6
1971
13. Logic, Proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Logic, symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
14. Logic in algebraic form; Three languages and theories
پدیدآورنده : Craig, William
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
15. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
16. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
17. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
18. Math proofs demystified
پدیدآورنده : / Stan Gibilisco
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Proof theory , Popular works,Electronic books. , local
رده :
E-BOOK
19. Mathematical thinking and writing :
پدیدآورنده : / Randall B. Maddox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
20. Mathematical thinking and writing: a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
54
.
M34
2002